signature LINEAR_SCAN_STRUCTS =
sig
  structure Machine : MACHINE
end

signature LINEAR_SCAN =
sig
  include LINEAR_SCAN_STRUCTS
  
  val trans : Machine.Program.t -> Machine.Program.t
end
